알론조 처치 컴퓨터 과학자 논리학자 수학자 철학자 알론조 처치(Alonzo Church)는 미국의 컴퓨터 과학자, 논리학자, 수학자, 철학자이다. 앨런 튜링의 지도교수이기도 하다. 업적 λ-계산 (타입 없는 λ-계산) 발견 단순 타입 λ-계산 발견